This notebook addresses the case where there is a simple zero over at least three of the four $2$-torsion points. The fourth $2$-torsion point has a triple zero above it as well as both of the remaining simple zeros, and they descend to one of the points in $\{(0,0), (1,0)\}$.
We recall that in $\mathcal{H}(3,1^5)$, $d_{opt} = 16$ and by the arrangement above, there is a $2$-torsion point in the boundary of each horizontal cylinder that has exactly one simple zero above it.
import re
#This loads all of the 1-cylinder diagrams in H(3,1^3) formatted as python lists
with open('ST5_data//1-cyl_diags//cyl_diags-3_1_1_1-c-1', 'r') as file:
H3_1t3_cyl_diags = eval(file.read())
H1_1_cyl_diags = [[[[0,1,2,3],[0,1,2,3]]]]
#This loads all of the functions for processing cylinder diagrams
%run ./ST5_fcns/cyl_diag_fcns.ipynb
#This runs almost instantly and constructs
#all of the binary lists associated to each
#simple zero for every cylinder diagram
H3_1t3_vertex_data = strat_odd_sc(H3_1t3_cyl_diags)
H1_1_vertex_data = strat_odd_sc(H1_1_cyl_diags)
Among partitions of $32$ into four odd numbers the minimum of the maximum numbers among all partitions is $2d_{opt}/4 = 8$, which is $9$ in this case because $8$ is not odd.
For the partition of $32$ into $10$ numbers, we have that the minimum is given by $\lceil 32/10 \rceil = 4$.
Solving $32 - 2(9) - 2t_0 \geq 0$ implies that the largest value of $t_0$ is $7$.
Solving $32 - 2s_0 - 2(4) \geq 0$ implies that the largest value of $s_0$ is $12$. Since the number must be odd, the largest value of $s_0$ is in fact $11$.
In summary:
$$s_0 \in \{9, 11\} \text{ and } 4 \leq t_0 \leq 7$$
#This loads all of the standard partition functions needed for nearly every case
#It also loads the partition evaluate function
%run ./ST5_fcns/partition_functions.ipynb
if False:
create_sc_partition_file((), part_length = 4, t0_range = range(9,12), d_opt = 16,
filename_root = 'ST5_data//H_3_1t5//1_branch_point//partitions//H1t2_part')
if False:
create_sc_partition_file((), part_length = 10, t0_range = range(4,8), d_opt = 16,
filename_root = 'ST5_data//H_3_1t5//1_branch_point//partitions//H_3_1t3_part')
#Load the partitions
if True:
with open('ST5_data//H_3_1t5//1_branch_point//partitions//H1t2_part', 'r') as file:
H1t2_part = eval_part(file.read())
if True:
with open('ST5_data//H_3_1t5//1_branch_point//partitions//H_3_1t3_part', 'r') as file:
H_3_1t3_part = eval_part(file.read())
ST5_data//H_3_1t5//1_branch_point//partitions//H1t2_part written ST5_data//H_3_1t5//1_branch_point//partitions//H_3_1t3_part written
#This loads all of the align_list functions needed for nearly every case
#This includes the align_list evaluate function
%run ./ST5_fcns/align_list_fcns.ipynb
if True:
for t in range(4,8):
align_list_write_file(H_3_1t3_part, H3_1t3_vertex_data,
'ST5_data//H_3_1t5//1_branch_point//align_list//H_3_1t3_align_list',
t0 = t)
if True:
for t in [9,11]:
align_list_write_file(H1t2_part, H1_1_vertex_data,
'ST5_data//H_3_1t5//1_branch_point//align_list//H_1_1_align_list',
t0 = t)
756 partitions to search 5012 partitions to search 32634 partitions to search ('10000 partitions processed', (6, 4, 2, 1, 1, 3, 5, 6, 2, 2)) ('20000 partitions processed', (6, 4, 6, 2, 1, 1, 6, 1, 1, 4)) ('30000 partitions processed', (6, 1, 3, 3, 5, 2, 2, 2, 2, 6)) 13860 partitions to search ('10000 partitions processed', (7, 1, 1, 2, 4, 2, 2, 6, 4, 3)) 6 partitions to search 25 partitions to search
#This loads all of the visible_align_list functions needed for nearly every case
%run ./ST5_fcns/align_list_visible_fcns.ipynb
if True:
generate_all_align_list_visible_files(range(4,8), [9,11], 16,
'ST5_data//H_3_1t5//1_branch_point//',
'align_list//H_1_1_align_list_', 'align_list_visible//H1_1_align_list_')
if True:
generate_all_align_list_visible_files([9,11], range(4,8), 16,
'ST5_data//H_3_1t5//1_branch_point//',
'align_list//H_3_1t3_align_list_',
'align_list_visible//H_3_1t3_align_list_')
total_list generated ST5_data//H_3_1t5//1_branch_point//align_list//H_1_1_align_list_9 read 6 configurations to search ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_9_visible_4 written ST5_data//H_3_1t5//1_branch_point//align_list//H_1_1_align_list_9 read 6 configurations to search ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_9_visible_5 written ST5_data//H_3_1t5//1_branch_point//align_list//H_1_1_align_list_9 read 6 configurations to search ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_9_visible_6 written ST5_data//H_3_1t5//1_branch_point//align_list//H_1_1_align_list_9 read 6 configurations to search ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_9_visible_7 written ST5_data//H_3_1t5//1_branch_point//align_list//H_1_1_align_list_11 read 25 configurations to search ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_11_visible_4 written ST5_data//H_3_1t5//1_branch_point//align_list//H_1_1_align_list_11 read 25 configurations to search ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_11_visible_5 written total_list generated ST5_data//H_3_1t5//1_branch_point//align_list//H_3_1t3_align_list_4 read 39744 configurations to search (10000, ((4, 2, 4, 4, 4, 3, 3, 4, 1, 3), [[[1, 9, 8, 4, 6, 7, 5, 3, 0, 2], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]], [[2, 1, 9, 8, 4, 6, 7, 5, 3, 0], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]]])) (20000, ((4, 3, 3, 4, 4, 4, 1, 3, 2, 4), [[[0, 9, 7, 2, 3, 4, 6, 5, 8, 1], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[4, 6, 5, 8, 1, 0, 9, 7, 2, 3], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[3, 4, 6, 5, 8, 1, 0, 9, 7, 2], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[1, 0, 9, 7, 2, 3, 4, 6, 5, 8], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]]])) (30000, ((4, 4, 4, 3, 1, 3, 3, 2, 4, 4), [[[4, 1, 2, 8, 7, 5, 0, 3, 9, 6], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]], [[5, 0, 3, 9, 6, 4, 1, 2, 8, 7], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]]])) ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_4_visible_9 written ST5_data//H_3_1t5//1_branch_point//align_list//H_3_1t3_align_list_4 read 39744 configurations to search (10000, ((4, 2, 4, 4, 4, 3, 3, 4, 1, 3), [[[1, 9, 8, 4, 6, 7, 5, 3, 0, 2], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]], [[2, 1, 9, 8, 4, 6, 7, 5, 3, 0], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]]])) (20000, ((4, 3, 3, 4, 4, 4, 1, 3, 2, 4), [[[0, 9, 7, 2, 3, 4, 6, 5, 8, 1], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[4, 6, 5, 8, 1, 0, 9, 7, 2, 3], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[3, 4, 6, 5, 8, 1, 0, 9, 7, 2], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[1, 0, 9, 7, 2, 3, 4, 6, 5, 8], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]]])) (30000, ((4, 4, 4, 3, 1, 3, 3, 2, 4, 4), [[[4, 1, 2, 8, 7, 5, 0, 3, 9, 6], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]], [[5, 0, 3, 9, 6, 4, 1, 2, 8, 7], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]]])) ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_4_visible_11 written ST5_data//H_3_1t5//1_branch_point//align_list//H_3_1t3_align_list_5 read 263488 configurations to search (10000, ((5, 2, 5, 3, 4, 4, 2, 4, 2, 1), [[[1, 9, 4, 7, 2, 0, 8, 6, 5, 3], [0, 5, 9, 8, 7, 3, 1, 4, 6, 2]]])) (20000, ((5, 3, 4, 4, 2, 2, 4, 4, 3, 1), [[[0, 8, 5, 7, 3, 1, 9, 4, 6, 2], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]]])) (30000, ((5, 2, 2, 4, 4, 3, 5, 2, 4, 1), [[[7, 6, 5, 4, 8, 1, 0, 9, 2, 3], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]]])) (40000, ((5, 1, 1, 4, 4, 4, 4, 4, 4, 1), [[[9, 2, 7, 5, 4, 3, 6, 8, 1, 0], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]])) (50000, ((5, 3, 4, 2, 4, 4, 2, 5, 1, 2), [[[6, 4, 8, 0, 9, 7, 3, 2, 5, 1], [0, 1, 4, 9, 3, 8, 5, 7, 6, 2]], [[7, 3, 2, 5, 1, 6, 4, 8, 0, 9], [0, 1, 4, 9, 3, 8, 5, 7, 6, 2]]])) (60000, ((5, 3, 4, 2, 2, 4, 5, 3, 2, 2), [[[9, 6, 3, 1, 8, 4, 5, 7, 2, 0], [0, 8, 6, 7, 9, 5, 3, 1, 4, 2]]])) (70000, ((5, 5, 2, 4, 2, 4, 1, 5, 2, 2), [[[3, 7, 4, 6, 5, 8, 1, 0, 9, 2], [0, 2, 6, 7, 5, 9, 4, 8, 3, 1]]])) (80000, ((5, 3, 2, 5, 3, 4, 2, 2, 4, 2), [[[8, 5, 7, 3, 1, 9, 4, 6, 2, 0], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]], [[9, 4, 6, 2, 0, 8, 5, 7, 3, 1], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]]])) (90000, ((5, 5, 2, 3, 3, 2, 2, 4, 4, 2), [[[9, 2, 3, 5, 4, 6, 7, 8, 1, 0], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]], [[1, 0, 9, 2, 3, 5, 4, 6, 7, 8], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]])) (100000, ((5, 3, 4, 2, 4, 4, 2, 1, 5, 2), [[[9, 2, 1, 8, 5, 4, 6, 7, 3, 0], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]], [[1, 8, 5, 4, 6, 7, 3, 0, 9, 2], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]])) (110000, ((5, 5, 3, 4, 4, 2, 2, 2, 2, 3), [[[9, 3, 1, 8, 5, 4, 6, 7, 2, 0], [0, 4, 3, 1, 5, 9, 7, 8, 6, 2]]])) (120000, ((5, 3, 3, 4, 4, 2, 2, 4, 2, 3), [[[0, 3, 7, 5, 1, 8, 4, 2, 9, 6], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]], [[3, 7, 5, 1, 8, 4, 2, 9, 6, 0], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]], [[2, 9, 6, 0, 3, 7, 5, 1, 8, 4], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]]])) (130000, ((5, 5, 4, 2, 2, 4, 2, 2, 3, 3), [[[0, 8, 5, 4, 6, 2, 1, 9, 7, 3], [0, 4, 9, 6, 8, 7, 5, 2, 1, 3]], [[6, 2, 1, 9, 7, 3, 0, 8, 5, 4], [0, 4, 9, 6, 8, 7, 5, 2, 1, 3]]])) (140000, ((5, 4, 2, 1, 5, 4, 2, 2, 4, 3), [[[4, 1, 6, 2, 5, 8, 0, 9, 7, 3], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]], [[1, 6, 2, 5, 8, 0, 9, 7, 3, 4], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]]])) (150000, ((5, 4, 1, 3, 2, 4, 2, 4, 4, 3), [[[4, 5, 7, 2, 0, 9, 6, 3, 1, 8], [0, 8, 6, 7, 9, 5, 3, 1, 4, 2]]])) (160000, ((5, 5, 2, 4, 4, 4, 2, 1, 1, 4), [[[7, 2, 1, 9, 4, 6, 3, 0, 8, 5], [0, 5, 9, 7, 8, 6, 2, 1, 4, 3]]])) (170000, ((5, 3, 2, 2, 4, 5, 3, 2, 2, 4), [[[1, 8, 5, 4, 6, 2, 0, 9, 7, 3], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]], [[2, 0, 9, 7, 3, 1, 8, 5, 4, 6], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]])) (180000, ((5, 1, 4, 5, 1, 4, 2, 4, 2, 4), [[[9, 2, 3, 7, 6, 5, 4, 8, 1, 0], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]], [[4, 8, 1, 0, 9, 2, 3, 7, 6, 5], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]]])) (190000, ((5, 1, 4, 4, 2, 4, 2, 3, 3, 4), [[[6, 5, 3, 7, 8, 1, 0, 9, 2, 4], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]], [[4, 6, 5, 3, 7, 8, 1, 0, 9, 2], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]])) (200000, ((5, 5, 3, 1, 2, 2, 4, 2, 4, 4), [[[5, 7, 3, 1, 8, 4, 6, 2, 0, 9], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]], [[4, 6, 2, 0, 9, 5, 7, 3, 1, 8], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]]])) (210000, ((5, 5, 1, 1, 2, 2, 4, 4, 4, 4), [[[2, 1, 8, 5, 4, 6, 7, 3, 0, 9], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]])) (220000, ((5, 1, 4, 2, 4, 2, 4, 4, 1, 5), [[[0, 9, 2, 3, 7, 6, 5, 4, 8, 1], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]])) (230000, ((5, 5, 1, 2, 2, 4, 4, 2, 2, 5), [[[9, 3, 1, 8, 5, 4, 6, 7, 2, 0], [0, 4, 3, 1, 5, 6, 9, 7, 8, 2]]])) (240000, ((5, 3, 1, 2, 2, 4, 4, 4, 2, 5), [[[3, 7, 1, 4, 8, 5, 2, 9, 6, 0], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]], [[2, 9, 6, 0, 3, 7, 1, 4, 8, 5], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]], [[4, 8, 5, 2, 9, 6, 0, 3, 7, 1], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]]])) (250000, ((5, 3, 3, 2, 4, 2, 2, 2, 4, 5), [[[9, 6, 7, 4, 0, 3, 2, 8, 5, 1], [0, 7, 5, 1, 6, 3, 2, 9, 8, 4]]])) (260000, ((5, 3, 1, 2, 2, 2, 4, 4, 4, 5), [[[4, 6, 2, 0, 9, 7, 3, 1, 8, 5], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]])) ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_5_visible_9 written ST5_data//H_3_1t5//1_branch_point//align_list//H_3_1t3_align_list_5 read 263488 configurations to search (10000, ((5, 2, 5, 3, 4, 4, 2, 4, 2, 1), [[[1, 9, 4, 7, 2, 0, 8, 6, 5, 3], [0, 5, 9, 8, 7, 3, 1, 4, 6, 2]]])) (20000, ((5, 3, 4, 4, 2, 2, 4, 4, 3, 1), [[[0, 8, 5, 7, 3, 1, 9, 4, 6, 2], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]]])) (30000, ((5, 2, 2, 4, 4, 3, 5, 2, 4, 1), [[[7, 6, 5, 4, 8, 1, 0, 9, 2, 3], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]]])) (40000, ((5, 1, 1, 4, 4, 4, 4, 4, 4, 1), [[[9, 2, 7, 5, 4, 3, 6, 8, 1, 0], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]])) (50000, ((5, 3, 4, 2, 4, 4, 2, 5, 1, 2), [[[6, 4, 8, 0, 9, 7, 3, 2, 5, 1], [0, 1, 4, 9, 3, 8, 5, 7, 6, 2]], [[7, 3, 2, 5, 1, 6, 4, 8, 0, 9], [0, 1, 4, 9, 3, 8, 5, 7, 6, 2]]])) (60000, ((5, 3, 4, 2, 2, 4, 5, 3, 2, 2), [[[9, 6, 3, 1, 8, 4, 5, 7, 2, 0], [0, 8, 6, 7, 9, 5, 3, 1, 4, 2]]])) (70000, ((5, 5, 2, 4, 2, 4, 1, 5, 2, 2), [[[3, 7, 4, 6, 5, 8, 1, 0, 9, 2], [0, 2, 6, 7, 5, 9, 4, 8, 3, 1]]])) (80000, ((5, 3, 2, 5, 3, 4, 2, 2, 4, 2), [[[8, 5, 7, 3, 1, 9, 4, 6, 2, 0], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]], [[9, 4, 6, 2, 0, 8, 5, 7, 3, 1], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]]])) (90000, ((5, 5, 2, 3, 3, 2, 2, 4, 4, 2), [[[9, 2, 3, 5, 4, 6, 7, 8, 1, 0], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]], [[1, 0, 9, 2, 3, 5, 4, 6, 7, 8], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]])) (100000, ((5, 3, 4, 2, 4, 4, 2, 1, 5, 2), [[[9, 2, 1, 8, 5, 4, 6, 7, 3, 0], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]], [[1, 8, 5, 4, 6, 7, 3, 0, 9, 2], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]])) (110000, ((5, 5, 3, 4, 4, 2, 2, 2, 2, 3), [[[9, 3, 1, 8, 5, 4, 6, 7, 2, 0], [0, 4, 3, 1, 5, 9, 7, 8, 6, 2]]])) (120000, ((5, 3, 3, 4, 4, 2, 2, 4, 2, 3), [[[0, 3, 7, 5, 1, 8, 4, 2, 9, 6], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]], [[3, 7, 5, 1, 8, 4, 2, 9, 6, 0], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]], [[2, 9, 6, 0, 3, 7, 5, 1, 8, 4], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]]])) (130000, ((5, 5, 4, 2, 2, 4, 2, 2, 3, 3), [[[0, 8, 5, 4, 6, 2, 1, 9, 7, 3], [0, 4, 9, 6, 8, 7, 5, 2, 1, 3]], [[6, 2, 1, 9, 7, 3, 0, 8, 5, 4], [0, 4, 9, 6, 8, 7, 5, 2, 1, 3]]])) (140000, ((5, 4, 2, 1, 5, 4, 2, 2, 4, 3), [[[4, 1, 6, 2, 5, 8, 0, 9, 7, 3], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]], [[1, 6, 2, 5, 8, 0, 9, 7, 3, 4], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]]])) (150000, ((5, 4, 1, 3, 2, 4, 2, 4, 4, 3), [[[4, 5, 7, 2, 0, 9, 6, 3, 1, 8], [0, 8, 6, 7, 9, 5, 3, 1, 4, 2]]])) (160000, ((5, 5, 2, 4, 4, 4, 2, 1, 1, 4), [[[7, 2, 1, 9, 4, 6, 3, 0, 8, 5], [0, 5, 9, 7, 8, 6, 2, 1, 4, 3]]])) (170000, ((5, 3, 2, 2, 4, 5, 3, 2, 2, 4), [[[1, 8, 5, 4, 6, 2, 0, 9, 7, 3], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]], [[2, 0, 9, 7, 3, 1, 8, 5, 4, 6], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]])) (180000, ((5, 1, 4, 5, 1, 4, 2, 4, 2, 4), [[[9, 2, 3, 7, 6, 5, 4, 8, 1, 0], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]], [[4, 8, 1, 0, 9, 2, 3, 7, 6, 5], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]]])) (190000, ((5, 1, 4, 4, 2, 4, 2, 3, 3, 4), [[[6, 5, 3, 7, 8, 1, 0, 9, 2, 4], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]], [[4, 6, 5, 3, 7, 8, 1, 0, 9, 2], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]])) (200000, ((5, 5, 3, 1, 2, 2, 4, 2, 4, 4), [[[5, 7, 3, 1, 8, 4, 6, 2, 0, 9], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]], [[4, 6, 2, 0, 9, 5, 7, 3, 1, 8], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]]])) (210000, ((5, 5, 1, 1, 2, 2, 4, 4, 4, 4), [[[2, 1, 8, 5, 4, 6, 7, 3, 0, 9], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]])) (220000, ((5, 1, 4, 2, 4, 2, 4, 4, 1, 5), [[[0, 9, 2, 3, 7, 6, 5, 4, 8, 1], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]])) (230000, ((5, 5, 1, 2, 2, 4, 4, 2, 2, 5), [[[9, 3, 1, 8, 5, 4, 6, 7, 2, 0], [0, 4, 3, 1, 5, 6, 9, 7, 8, 2]]])) (240000, ((5, 3, 1, 2, 2, 4, 4, 4, 2, 5), [[[3, 7, 1, 4, 8, 5, 2, 9, 6, 0], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]], [[2, 9, 6, 0, 3, 7, 1, 4, 8, 5], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]], [[4, 8, 5, 2, 9, 6, 0, 3, 7, 1], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]]])) (250000, ((5, 3, 3, 2, 4, 2, 2, 2, 4, 5), [[[9, 6, 7, 4, 0, 3, 2, 8, 5, 1], [0, 7, 5, 1, 6, 3, 2, 9, 8, 4]]])) (260000, ((5, 3, 1, 2, 2, 2, 4, 4, 4, 5), [[[4, 6, 2, 0, 9, 7, 3, 1, 8, 5], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]])) ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_5_visible_11 written ST5_data//H_3_1t5//1_branch_point//align_list//H_3_1t3_align_list_6 read 1715616 configurations to search (10000, ((6, 4, 4, 6, 2, 5, 1, 2, 1, 1), [[[3, 4, 6, 5, 8, 1, 0, 9, 7, 2], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]])) (20000, ((6, 2, 6, 6, 4, 1, 3, 2, 1, 1), [[[4, 7, 8, 1, 0, 9, 2, 3, 5, 6], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]], [[2, 3, 5, 6, 4, 7, 8, 1, 0, 9], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]])) (30000, ((6, 2, 2, 6, 3, 5, 4, 2, 1, 1), [[[9, 2, 7, 5, 4, 3, 6, 8, 1, 0], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]])) (40000, ((6, 5, 3, 2, 2, 4, 6, 2, 1, 1), [[[7, 3, 1, 9, 4, 0, 2, 8, 6, 5], [0, 2, 5, 3, 1, 6, 9, 7, 8, 4]]])) (50000, ((6, 2, 4, 4, 4, 2, 5, 3, 1, 1), [[[8, 1, 0, 9, 7, 2, 3, 5, 4, 6], [0, 2, 4, 9, 8, 7, 5, 6, 3, 1]]])) (60000, ((6, 3, 1, 6, 4, 4, 2, 4, 1, 1), [[[1, 0, 9, 2, 3, 5, 6, 4, 7, 8], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]], [[6, 4, 7, 8, 1, 0, 9, 2, 3, 5], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]])) (70000, ((6, 5, 1, 2, 6, 2, 4, 4, 1, 1), [[[7, 3, 4, 2, 1, 6, 5, 8, 0, 9], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]], [[3, 4, 2, 1, 6, 5, 8, 0, 9, 7], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]]])) (80000, ((6, 2, 4, 1, 5, 2, 6, 4, 1, 1), [[[9, 7, 2, 6, 4, 3, 5, 8, 1, 0], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]], [[3, 5, 8, 1, 0, 9, 7, 2, 6, 4], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]]])) (90000, ((6, 2, 6, 2, 4, 3, 1, 6, 1, 1), [[[6, 3, 1, 8, 4, 5, 7, 2, 0, 9], [0, 8, 6, 7, 9, 5, 3, 1, 4, 2]]])) (100000, ((6, 2, 4, 6, 2, 1, 3, 6, 1, 1), [[[9, 2, 1, 8, 5, 4, 6, 7, 3, 0], [0, 5, 6, 9, 7, 8, 2, 1, 4, 3]]])) (110000, ((6, 2, 1, 1, 6, 2, 6, 6, 1, 1), [[[4, 6, 2, 0, 9, 7, 3, 1, 8, 5], [0, 4, 3, 1, 5, 9, 6, 7, 8, 2]]])) (120000, ((6, 4, 2, 6, 4, 3, 1, 2, 3, 1), [[[2, 8, 0, 9, 7, 6, 1, 4, 5, 3], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]], [[7, 6, 1, 4, 5, 3, 2, 8, 0, 9], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]]])) (130000, ((6, 4, 2, 3, 3, 6, 2, 2, 3, 1), [[[9, 7, 3, 4, 1, 6, 2, 5, 8, 0], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]], [[6, 2, 5, 8, 0, 9, 7, 3, 4, 1], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]]])) (140000, ((6, 2, 3, 3, 4, 4, 4, 2, 3, 1), [[[4, 3, 6, 8, 1, 0, 9, 2, 7, 5], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]])) (150000, ((6, 2, 1, 3, 2, 6, 6, 2, 3, 1), [[[9, 7, 3, 2, 5, 1, 6, 4, 8, 0], [0, 1, 4, 9, 3, 8, 5, 7, 6, 2]]])) (160000, ((6, 1, 5, 6, 2, 2, 2, 4, 3, 1), [[[8, 5, 4, 6, 2, 0, 9, 7, 3, 1], [0, 4, 3, 1, 5, 9, 6, 7, 8, 2]]])) (170000, ((6, 4, 3, 3, 2, 2, 4, 4, 3, 1), [[[4, 8, 1, 0, 9, 7, 5, 2, 6, 3], [0, 2, 4, 7, 6, 8, 5, 3, 9, 1]], [[3, 4, 8, 1, 0, 9, 7, 5, 2, 6], [0, 2, 4, 7, 6, 8, 5, 3, 9, 1]], [[6, 3, 4, 8, 1, 0, 9, 7, 5, 2], [0, 2, 4, 7, 6, 8, 5, 3, 9, 1]]])) (180000, ((6, 4, 4, 2, 2, 2, 3, 5, 3, 1), [[[8, 1, 0, 9, 2, 3, 5, 4, 6, 7], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]])) (190000, ((6, 2, 4, 2, 3, 1, 4, 6, 3, 1), [[[3, 7, 6, 5, 4, 8, 1, 0, 9, 2], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]]])) (200000, ((6, 2, 4, 4, 6, 1, 1, 2, 5, 1), [[[5, 4, 8, 1, 0, 9, 2, 3, 7, 6], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]], [[2, 3, 7, 6, 5, 4, 8, 1, 0, 9], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]]])) (210000, ((6, 1, 3, 2, 4, 6, 2, 2, 5, 1), [[[4, 6, 7, 5, 3, 0, 2, 1, 9, 8], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]], [[8, 4, 6, 7, 5, 3, 0, 2, 1, 9], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]]])) (220000, ((6, 3, 1, 4, 2, 2, 6, 2, 5, 1), [[[8, 3, 1, 4, 0, 2, 9, 6, 5, 7], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]], [[5, 7, 8, 3, 1, 4, 0, 2, 9, 6], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]])) (230000, ((6, 2, 2, 4, 3, 3, 2, 4, 5, 1), [[[5, 2, 6, 3, 4, 8, 1, 0, 9, 7], [0, 2, 4, 7, 6, 8, 5, 3, 9, 1]], [[7, 5, 2, 6, 3, 4, 8, 1, 0, 9], [0, 2, 4, 7, 6, 8, 5, 3, 9, 1]], [[9, 7, 5, 2, 6, 3, 4, 8, 1, 0], [0, 2, 4, 7, 6, 8, 5, 3, 9, 1]]])) (240000, ((6, 4, 4, 1, 1, 2, 2, 6, 5, 1), [[[2, 3, 4, 5, 8, 1, 0, 9, 7, 6], [0, 2, 5, 7, 8, 6, 4, 9, 3, 1]], [[1, 0, 9, 7, 6, 2, 3, 4, 5, 8], [0, 2, 5, 7, 8, 6, 4, 9, 3, 1]]])) (250000, ((6, 6, 5, 1, 4, 4, 2, 1, 1, 2), [[[1, 8, 4, 5, 6, 7, 2, 0, 9, 3], [0, 8, 6, 9, 7, 5, 3, 1, 4, 2]], [[7, 2, 0, 9, 3, 1, 8, 4, 5, 6], [0, 8, 6, 9, 7, 5, 3, 1, 4, 2]]])) (260000, ((6, 1, 5, 6, 4, 2, 4, 1, 1, 2), [[[9, 7, 5, 1, 6, 3, 2, 4, 8, 0], [0, 1, 4, 9, 3, 7, 8, 5, 6, 2]]])) (270000, ((6, 2, 2, 4, 4, 5, 5, 1, 1, 2), [[[8, 5, 6, 4, 0, 2, 9, 7, 3, 1], [0, 2, 8, 7, 6, 3, 1, 5, 9, 4]], [[9, 7, 3, 1, 8, 5, 6, 4, 0, 2], [0, 2, 8, 7, 6, 3, 1, 5, 9, 4]]])) (280000, ((6, 4, 6, 2, 4, 3, 1, 3, 1, 2), [[[6, 7, 2, 0, 9, 3, 1, 8, 4, 5], [0, 8, 6, 9, 7, 5, 3, 1, 4, 2]]])) (290000, ((6, 2, 3, 5, 2, 6, 2, 3, 1, 2), [[[9, 6, 2, 1, 8, 5, 4, 7, 3, 0], [0, 8, 2, 1, 4, 9, 7, 6, 5, 3]], [[5, 4, 7, 3, 0, 9, 6, 2, 1, 8], [0, 8, 2, 1, 4, 9, 7, 6, 5, 3]]])) (300000, ((6, 1, 3, 4, 4, 4, 4, 3, 1, 2), [[[0, 9, 7, 3, 2, 5, 1, 6, 4, 8], [0, 1, 4, 9, 3, 8, 5, 7, 6, 2]]])) (310000, ((6, 6, 2, 6, 2, 1, 1, 5, 1, 2), [[[4, 6, 2, 0, 9, 7, 3, 1, 8, 5], [0, 4, 3, 1, 5, 9, 6, 7, 8, 2]]])) (320000, ((6, 2, 5, 1, 2, 6, 2, 5, 1, 2), [[[0, 9, 7, 3, 4, 2, 1, 6, 5, 8], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]], [[2, 1, 6, 5, 8, 0, 9, 7, 3, 4], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]]])) (330000, ((6, 2, 4, 3, 1, 2, 6, 5, 1, 2), [[[0, 2, 8, 7, 6, 3, 1, 9, 5, 4], [0, 2, 5, 7, 3, 1, 6, 9, 8, 4]]])) (340000, ((6, 3, 1, 6, 4, 6, 1, 1, 2, 2), [[[7, 6, 2, 3, 4, 5, 8, 1, 0, 9], [0, 2, 5, 7, 8, 6, 4, 9, 3, 1]], [[5, 8, 1, 0, 9, 7, 6, 2, 3, 4], [0, 2, 5, 7, 8, 6, 4, 9, 3, 1]]])) (350000, ((6, 2, 2, 5, 3, 6, 3, 1, 2, 2), [[[6, 5, 7, 4, 8, 1, 0, 9, 2, 3], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]], [[1, 0, 9, 2, 3, 6, 5, 7, 4, 8], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]])) (360000, ((6, 6, 6, 3, 3, 1, 1, 2, 2, 2), [[[5, 4, 6, 8, 1, 0, 9, 7, 2, 3], [0, 2, 4, 9, 8, 5, 6, 7, 3, 1]]])) (370000, ((6, 6, 1, 5, 3, 3, 2, 2, 2, 2), [[[6, 7, 5, 1, 2, 9, 4, 0, 3, 8], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]], [[9, 4, 0, 3, 8, 6, 7, 5, 1, 2], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]], [[2, 9, 4, 0, 3, 8, 6, 7, 5, 1], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]]])) (380000, ((6, 4, 3, 3, 4, 3, 3, 2, 2, 2), [[[1, 6, 4, 8, 0, 9, 7, 5, 3, 2], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]]])) (390000, ((6, 3, 1, 5, 3, 4, 4, 2, 2, 2), [[[9, 6, 4, 1, 2, 8, 7, 5, 0, 3], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]], [[8, 7, 5, 0, 3, 9, 6, 4, 1, 2], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]]])) (400000, ((6, 4, 1, 3, 2, 5, 5, 2, 2, 2), [[[0, 9, 7, 2, 3, 5, 6, 4, 8, 1], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]])) (410000, ((6, 6, 4, 5, 1, 2, 1, 3, 2, 2), [[[6, 7, 2, 0, 9, 3, 1, 8, 5, 4], [0, 4, 3, 1, 5, 9, 7, 8, 6, 2]], [[9, 3, 1, 8, 5, 4, 6, 7, 2, 0], [0, 4, 3, 1, 5, 9, 7, 8, 6, 2]]])) (420000, ((6, 4, 2, 4, 5, 1, 3, 3, 2, 2), [[[6, 4, 8, 1, 0, 9, 7, 2, 3, 5], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]]])) (430000, ((6, 4, 2, 3, 3, 2, 5, 3, 2, 2), [[[3, 1, 9, 4, 6, 2, 0, 8, 5, 7], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]], [[2, 0, 8, 5, 7, 3, 1, 9, 4, 6], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]]])) (440000, ((6, 4, 4, 3, 1, 5, 1, 4, 2, 2), [[[5, 7, 4, 8, 1, 0, 9, 2, 3, 6], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]])) (450000, ((6, 4, 1, 3, 3, 5, 2, 4, 2, 2), [[[8, 5, 4, 6, 7, 3, 0, 9, 2, 1], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]])) (460000, ((6, 1, 5, 6, 1, 1, 4, 4, 2, 2), [[[2, 0, 9, 3, 1, 8, 4, 5, 6, 7], [0, 8, 6, 9, 7, 5, 3, 1, 4, 2]]])) (470000, ((6, 2, 1, 3, 6, 1, 5, 4, 2, 2), [[[4, 5, 3, 2, 8, 0, 9, 7, 6, 1], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]], [[8, 0, 9, 7, 6, 1, 4, 5, 3, 2], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]]])) (480000, ((6, 2, 6, 3, 3, 2, 1, 5, 2, 2), [[[9, 3, 2, 7, 5, 6, 4, 8, 1, 0], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]], [[1, 0, 9, 3, 2, 7, 5, 6, 4, 8], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]]])) (490000, ((6, 4, 2, 4, 1, 3, 3, 5, 2, 2), [[[6, 5, 7, 3, 0, 9, 2, 1, 8, 4], [0, 5, 8, 9, 7, 6, 2, 1, 4, 3]], [[1, 8, 4, 6, 5, 7, 3, 0, 9, 2], [0, 5, 8, 9, 7, 6, 2, 1, 4, 3]]])) (500000, ((6, 6, 2, 1, 3, 3, 1, 6, 2, 2), [[[5, 4, 6, 7, 2, 0, 9, 3, 1, 8], [0, 4, 3, 1, 5, 6, 9, 7, 8, 2]]])) (510000, ((6, 1, 3, 4, 1, 5, 2, 6, 2, 2), [[[6, 7, 3, 0, 9, 2, 1, 8, 5, 4], [0, 5, 6, 9, 7, 8, 2, 1, 4, 3]]])) (520000, ((6, 2, 3, 1, 3, 3, 4, 6, 2, 2), [[[6, 7, 5, 1, 2, 9, 4, 0, 3, 8], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]], [[9, 4, 0, 3, 8, 6, 7, 5, 1, 2], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]], [[2, 9, 4, 0, 3, 8, 6, 7, 5, 1], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]]])) (530000, ((6, 4, 6, 6, 1, 1, 2, 1, 3, 2), [[[0, 9, 5, 7, 3, 1, 8, 4, 6, 2], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]]])) (540000, ((6, 6, 2, 4, 4, 1, 3, 1, 3, 2), [[[5, 6, 3, 0, 8, 4, 7, 2, 1, 9], [0, 4, 9, 7, 5, 8, 6, 2, 1, 3]], [[4, 7, 2, 1, 9, 5, 6, 3, 0, 8], [0, 4, 9, 7, 5, 8, 6, 2, 1, 3]]])) (550000, ((6, 3, 1, 4, 2, 6, 4, 1, 3, 2), [[[7, 3, 5, 1, 6, 2, 4, 8, 0, 9], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[0, 9, 7, 3, 5, 1, 6, 2, 4, 8], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[3, 5, 1, 6, 2, 4, 8, 0, 9, 7], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]]])) (560000, ((6, 2, 2, 4, 6, 3, 1, 3, 3, 2), [[[2, 8, 5, 1, 9, 6, 7, 4, 0, 3], [0, 7, 5, 1, 6, 3, 2, 9, 8, 4]]])) (570000, ((6, 2, 4, 2, 6, 1, 3, 3, 3, 2), [[[6, 7, 2, 0, 9, 3, 1, 8, 5, 4], [0, 4, 3, 1, 5, 9, 7, 8, 6, 2]]])) (580000, ((6, 2, 2, 1, 3, 4, 6, 3, 3, 2), [[[4, 8, 0, 9, 7, 3, 2, 1, 6, 5], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[9, 7, 3, 2, 1, 6, 5, 4, 8, 0], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]]])) (590000, ((6, 2, 4, 1, 3, 2, 4, 5, 3, 2), [[[8, 6, 5, 3, 1, 9, 4, 7, 2, 0], [0, 5, 9, 8, 7, 3, 1, 4, 6, 2]]])) (600000, ((6, 4, 4, 2, 3, 5, 1, 1, 4, 2), [[[9, 5, 6, 3, 0, 8, 4, 7, 2, 1], [0, 4, 9, 7, 5, 8, 6, 2, 1, 3]], [[8, 4, 7, 2, 1, 9, 5, 6, 3, 0], [0, 4, 9, 7, 5, 8, 6, 2, 1, 3]]])) (610000, ((6, 2, 4, 2, 3, 5, 3, 1, 4, 2), [[[4, 7, 8, 1, 0, 9, 2, 3, 6, 5], [0, 2, 5, 7, 6, 4, 9, 8, 3, 1]]])) (620000, ((6, 4, 1, 5, 6, 1, 1, 2, 4, 2), [[[9, 7, 2, 3, 4, 6, 5, 8, 1, 0], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]])) (630000, ((6, 6, 1, 3, 3, 3, 2, 2, 4, 2), [[[7, 5, 0, 3, 1, 9, 6, 4, 2, 8], [0, 9, 4, 2, 7, 3, 1, 8, 6, 5]]])) (640000, ((6, 2, 2, 5, 3, 3, 3, 2, 4, 2), [[[1, 4, 8, 5, 2, 6, 0, 3, 9, 7], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]], [[3, 9, 7, 1, 4, 8, 5, 2, 6, 0], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]], [[0, 3, 9, 7, 1, 4, 8, 5, 2, 6], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]]])) (650000, ((6, 2, 3, 1, 3, 5, 4, 2, 4, 2), [[[3, 1, 8, 4, 6, 2, 0, 9, 5, 7], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]], [[2, 0, 9, 5, 7, 3, 1, 8, 4, 6], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]]])) (660000, ((6, 1, 1, 4, 3, 3, 6, 2, 4, 2), [[[5, 1, 6, 4, 8, 0, 9, 7, 2, 3], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]], [[1, 6, 4, 8, 0, 9, 7, 2, 3, 5], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]]])) (670000, ((6, 2, 3, 1, 4, 6, 1, 3, 4, 2), [[[2, 3, 5, 4, 6, 8, 1, 0, 9, 7], [0, 2, 5, 8, 9, 4, 7, 6, 3, 1]], [[5, 4, 6, 8, 1, 0, 9, 7, 2, 3], [0, 2, 5, 8, 9, 4, 7, 6, 3, 1]]])) (680000, ((6, 2, 5, 5, 2, 1, 1, 4, 4, 2), [[[4, 6, 7, 2, 0, 9, 3, 1, 8, 5], [0, 4, 3, 1, 5, 9, 7, 8, 6, 2]], [[0, 9, 3, 1, 8, 5, 4, 6, 7, 2], [0, 4, 3, 1, 5, 9, 7, 8, 6, 2]]])) (690000, ((6, 3, 3, 1, 5, 2, 2, 4, 4, 2), [[[3, 1, 8, 4, 5, 6, 2, 0, 9, 7], [0, 8, 9, 6, 7, 5, 3, 1, 4, 2]]])) (700000, ((6, 6, 3, 1, 1, 1, 4, 4, 4, 2), [[[6, 5, 7, 8, 3, 1, 4, 0, 2, 9], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]])) (710000, ((6, 1, 1, 4, 1, 3, 6, 4, 4, 2), [[[2, 3, 7, 6, 5, 4, 8, 1, 0, 9], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]])) (720000, ((6, 1, 3, 2, 2, 2, 5, 5, 4, 2), [[[7, 6, 2, 3, 5, 4, 8, 1, 0, 9], [0, 2, 8, 7, 5, 6, 4, 9, 3, 1]], [[4, 8, 1, 0, 9, 7, 6, 2, 3, 5], [0, 2, 8, 7, 5, 6, 4, 9, 3, 1]], [[0, 9, 7, 6, 2, 3, 5, 4, 8, 1], [0, 2, 8, 7, 5, 6, 4, 9, 3, 1]], [[3, 5, 4, 8, 1, 0, 9, 7, 6, 2], [0, 2, 8, 7, 5, 6, 4, 9, 3, 1]], [[2, 3, 5, 4, 8, 1, 0, 9, 7, 6], [0, 2, 8, 7, 5, 6, 4, 9, 3, 1]], [[1, 0, 9, 7, 6, 2, 3, 5, 4, 8], [0, 2, 8, 7, 5, 6, 4, 9, 3, 1]]])) (730000, ((6, 3, 1, 1, 3, 4, 2, 6, 4, 2), [[[2, 0, 9, 7, 3, 1, 8, 5, 4, 6], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]])) (740000, ((6, 2, 6, 2, 2, 5, 1, 1, 5, 2), [[[6, 7, 3, 0, 9, 2, 1, 8, 5, 4], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]])) (750000, ((6, 4, 4, 2, 2, 3, 3, 1, 5, 2), [[[5, 8, 1, 0, 9, 7, 2, 6, 4, 3], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]]])) (760000, ((6, 2, 2, 1, 1, 6, 6, 1, 5, 2), [[[3, 5, 6, 4, 8, 1, 0, 9, 7, 2], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]]])) (770000, ((6, 3, 1, 2, 4, 2, 4, 3, 5, 2), [[[0, 9, 7, 3, 5, 2, 1, 6, 4, 8], [0, 1, 7, 6, 8, 5, 4, 9, 3, 2]]])) (780000, ((6, 2, 4, 5, 3, 2, 1, 1, 6, 2), [[[5, 3, 2, 8, 0, 9, 7, 6, 1, 4], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]], [[0, 9, 7, 6, 1, 4, 5, 3, 2, 8], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]]])) (790000, ((6, 4, 2, 2, 3, 3, 3, 1, 6, 2), [[[8, 7, 5, 6, 4, 0, 2, 9, 3, 1], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]], [[7, 5, 6, 4, 0, 2, 9, 3, 1, 8], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]], [[9, 3, 1, 8, 7, 5, 6, 4, 0, 2], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]])) (800000, ((6, 4, 2, 3, 3, 3, 1, 2, 6, 2), [[[2, 1, 9, 7, 3, 0, 8, 5, 4, 6], [0, 4, 9, 6, 8, 7, 5, 2, 1, 3]], [[3, 0, 8, 5, 4, 6, 2, 1, 9, 7], [0, 4, 9, 6, 8, 7, 5, 2, 1, 3]]])) (810000, ((6, 1, 1, 6, 1, 5, 2, 2, 6, 2), [[[5, 1, 6, 4, 8, 0, 9, 7, 3, 2], [0, 1, 4, 9, 3, 5, 7, 6, 8, 2]], [[9, 7, 3, 2, 5, 1, 6, 4, 8, 0], [0, 1, 4, 9, 3, 5, 7, 6, 8, 2]]])) (820000, ((6, 1, 3, 2, 3, 3, 4, 2, 6, 2), [[[5, 1, 6, 4, 8, 0, 9, 7, 3, 2], [0, 1, 4, 9, 3, 5, 7, 6, 8, 2]], [[9, 7, 3, 2, 5, 1, 6, 4, 8, 0], [0, 1, 4, 9, 3, 5, 7, 6, 8, 2]]])) (830000, ((6, 4, 4, 2, 1, 3, 1, 3, 6, 2), [[[4, 8, 5, 2, 6, 0, 3, 9, 7, 1], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]], [[9, 7, 1, 4, 8, 5, 2, 6, 0, 3], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]], [[3, 9, 7, 1, 4, 8, 5, 2, 6, 0], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]]])) (840000, ((6, 1, 5, 2, 2, 3, 1, 4, 6, 2), [[[0, 6, 7, 8, 9, 3, 2, 4, 1, 5], [0, 7, 3, 2, 6, 9, 4, 1, 8, 5]], [[1, 5, 0, 6, 7, 8, 9, 3, 2, 4], [0, 7, 3, 2, 6, 9, 4, 1, 8, 5]]])) (850000, ((6, 1, 5, 2, 1, 1, 4, 4, 6, 2), [[[0, 9, 7, 2, 3, 5, 4, 6, 8, 1], [0, 2, 6, 5, 9, 4, 8, 7, 3, 1]]])) (860000, ((6, 2, 4, 1, 1, 3, 1, 6, 6, 2), [[[1, 9, 4, 7, 2, 0, 8, 6, 5, 3], [0, 5, 9, 8, 7, 3, 1, 4, 6, 2]]])) (870000, ((6, 4, 4, 2, 4, 4, 3, 1, 1, 3), [[[2, 9, 6, 0, 3, 7, 5, 1, 8, 4], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]], [[9, 6, 0, 3, 7, 5, 1, 8, 4, 2], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]], [[1, 8, 4, 2, 9, 6, 0, 3, 7, 5], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]]])) (880000, ((6, 6, 4, 3, 1, 4, 2, 2, 1, 3), [[[3, 9, 6, 4, 1, 2, 8, 7, 5, 0], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]], [[2, 8, 7, 5, 0, 3, 9, 6, 4, 1], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]]])) (890000, ((6, 3, 5, 4, 2, 2, 4, 2, 1, 3), [[[5, 4, 8, 1, 0, 9, 7, 6, 2, 3], [0, 2, 5, 7, 8, 9, 4, 6, 3, 1]], [[3, 5, 4, 8, 1, 0, 9, 7, 6, 2], [0, 2, 5, 7, 8, 9, 4, 6, 3, 1]]])) (900000, ((6, 2, 4, 5, 1, 2, 6, 2, 1, 3), [[[0, 9, 7, 5, 1, 6, 3, 2, 4, 8], [0, 1, 4, 9, 3, 7, 8, 5, 6, 2]], [[6, 3, 2, 4, 8, 0, 9, 7, 5, 1], [0, 1, 4, 9, 3, 7, 8, 5, 6, 2]]])) (910000, ((6, 4, 6, 4, 2, 1, 1, 4, 1, 3), [[[6, 7, 8, 1, 0, 9, 2, 3, 5, 4], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]], [[5, 4, 6, 7, 8, 1, 0, 9, 2, 3], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]])) (920000, ((6, 2, 4, 3, 1, 6, 2, 4, 1, 3), [[[7, 2, 3, 4, 6, 5, 8, 1, 0, 9], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[5, 8, 1, 0, 9, 7, 2, 3, 4, 6], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[9, 7, 2, 3, 4, 6, 5, 8, 1, 0], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]], [[6, 5, 8, 1, 0, 9, 7, 2, 3, 4], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]]])) (930000, ((6, 2, 6, 2, 1, 1, 6, 4, 1, 3), [[[9, 7, 3, 1, 8, 5, 4, 6, 2, 0], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]])) (940000, ((6, 2, 1, 5, 4, 2, 2, 6, 1, 3), [[[9, 4, 7, 2, 0, 8, 6, 5, 3, 1], [0, 5, 9, 8, 7, 3, 1, 4, 6, 2]]])) (950000, ((6, 2, 4, 4, 4, 4, 1, 1, 3, 3), [[[7, 3, 0, 9, 2, 1, 8, 5, 4, 6], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]])) (960000, ((6, 6, 2, 4, 1, 3, 2, 2, 3, 3), [[[7, 5, 4, 3, 6, 8, 1, 0, 9, 2], [0, 2, 4, 6, 7, 8, 5, 3, 9, 1]]])) (970000, ((6, 2, 4, 4, 1, 3, 4, 2, 3, 3), [[[7, 5, 4, 3, 6, 8, 1, 0, 9, 2], [0, 2, 4, 6, 7, 8, 5, 3, 9, 1]]])) (980000, ((6, 2, 4, 2, 6, 1, 1, 4, 3, 3), [[[7, 8, 4, 3, 5, 2, 6, 0, 1, 9], [0, 1, 8, 5, 2, 7, 4, 3, 9, 6]]])) (990000, ((6, 3, 1, 2, 2, 4, 4, 4, 3, 3), [[[3, 1, 8, 4, 6, 2, 0, 9, 5, 7], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]]])) (1000000, ((6, 2, 2, 2, 4, 6, 1, 1, 5, 3), [[[1, 9, 6, 4, 2, 8, 7, 5, 0, 3], [0, 9, 4, 2, 7, 3, 1, 8, 6, 5]]])) (1010000, ((6, 2, 4, 4, 1, 1, 4, 2, 5, 3), [[[3, 1, 8, 5, 4, 6, 2, 0, 9, 7], [0, 4, 3, 1, 5, 9, 6, 7, 8, 2]]])) (1020000, ((6, 2, 2, 2, 1, 3, 4, 4, 5, 3), [[[5, 4, 6, 8, 1, 0, 9, 7, 2, 3], [0, 2, 5, 8, 9, 4, 7, 6, 3, 1]], [[6, 8, 1, 0, 9, 7, 2, 3, 5, 4], [0, 2, 5, 8, 9, 4, 7, 6, 3, 1]]])) (1030000, ((6, 4, 3, 5, 2, 4, 2, 1, 1, 4), [[[0, 6, 7, 8, 9, 3, 2, 4, 1, 5], [0, 8, 4, 1, 7, 3, 2, 6, 9, 5]], [[3, 2, 4, 1, 5, 0, 6, 7, 8, 9], [0, 8, 4, 1, 7, 3, 2, 6, 9, 5]]])) (1040000, ((6, 5, 1, 4, 4, 2, 4, 1, 1, 4), [[[7, 3, 1, 9, 4, 0, 2, 8, 6, 5], [0, 2, 5, 9, 7, 6, 3, 1, 8, 4]]])) (1050000, ((6, 5, 1, 2, 4, 2, 6, 1, 1, 4), [[[4, 7, 8, 1, 0, 9, 2, 3, 6, 5], [0, 2, 5, 7, 6, 4, 9, 8, 3, 1]]])) (1060000, ((6, 2, 4, 6, 1, 3, 2, 3, 1, 4), [[[2, 1, 8, 6, 3, 0, 9, 5, 4, 7], [0, 5, 8, 7, 9, 6, 2, 1, 4, 3]]])) (1070000, ((6, 4, 4, 1, 1, 4, 4, 3, 1, 4), [[[4, 8, 0, 9, 7, 3, 5, 1, 6, 2], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[6, 2, 4, 8, 0, 9, 7, 3, 5, 1], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[8, 0, 9, 7, 3, 5, 1, 6, 2, 4], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]]])) (1080000, ((6, 1, 1, 6, 4, 2, 2, 5, 1, 4), [[[9, 7, 5, 1, 6, 3, 2, 4, 8, 0], [0, 1, 4, 9, 3, 7, 8, 5, 6, 2]]])) (1090000, ((6, 4, 3, 5, 4, 2, 1, 1, 2, 4), [[[2, 3, 4, 6, 5, 8, 1, 0, 9, 7], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]])) (1100000, ((6, 6, 4, 1, 3, 2, 3, 1, 2, 4), [[[7, 2, 3, 5, 6, 4, 8, 1, 0, 9], [0, 2, 6, 8, 5, 9, 4, 7, 3, 1]]])) (1110000, ((6, 2, 1, 3, 6, 2, 5, 1, 2, 4), [[[2, 3, 5, 4, 6, 8, 1, 0, 9, 7], [0, 2, 5, 8, 9, 4, 7, 6, 3, 1]], [[5, 4, 6, 8, 1, 0, 9, 7, 2, 3], [0, 2, 5, 8, 9, 4, 7, 6, 3, 1]]])) (1120000, ((6, 6, 2, 1, 3, 5, 1, 2, 2, 4), [[[5, 0, 3, 1, 9, 6, 4, 2, 8, 7], [0, 9, 4, 2, 7, 3, 1, 8, 6, 5]]])) (1130000, ((6, 3, 1, 5, 1, 6, 2, 2, 2, 4), [[[7, 2, 1, 9, 4, 6, 3, 0, 8, 5], [0, 5, 9, 7, 8, 6, 2, 1, 4, 3]], [[6, 3, 0, 8, 5, 7, 2, 1, 9, 4], [0, 5, 9, 7, 8, 6, 2, 1, 4, 3]]])) (1140000, ((6, 2, 5, 1, 5, 1, 4, 2, 2, 4), [[[4, 0, 3, 2, 8, 5, 1, 9, 6, 7], [0, 7, 5, 1, 6, 3, 2, 9, 8, 4]]])) (1150000, ((6, 2, 1, 5, 2, 3, 5, 2, 2, 4), [[[1, 6, 4, 8, 0, 9, 7, 2, 3, 5], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]], [[6, 4, 8, 0, 9, 7, 2, 3, 5, 1], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]]])) (1160000, ((6, 2, 4, 3, 5, 2, 1, 3, 2, 4), [[[5, 3, 2, 8, 0, 9, 7, 6, 1, 4], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]], [[0, 9, 7, 6, 1, 4, 5, 3, 2, 8], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]]])) (1170000, ((6, 4, 1, 3, 2, 4, 3, 3, 2, 4), [[[3, 2, 5, 8, 0, 9, 7, 1, 4, 6], [0, 1, 5, 4, 9, 3, 8, 7, 6, 2]], [[4, 6, 3, 2, 5, 8, 0, 9, 7, 1], [0, 1, 5, 4, 9, 3, 8, 7, 6, 2]]])) (1180000, ((6, 4, 2, 1, 5, 3, 1, 4, 2, 4), [[[4, 1, 2, 8, 7, 5, 0, 3, 9, 6], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]], [[5, 0, 3, 9, 6, 4, 1, 2, 8, 7], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]]])) (1190000, ((6, 3, 1, 1, 3, 6, 2, 4, 2, 4), [[[7, 4, 0, 3, 2, 8, 5, 1, 9, 6], [0, 7, 5, 1, 6, 3, 2, 9, 8, 4]]])) (1200000, ((6, 4, 1, 1, 1, 5, 4, 4, 2, 4), [[[8, 5, 4, 6, 7, 3, 0, 9, 2, 1], [0, 5, 6, 9, 7, 8, 2, 1, 4, 3]]])) (1210000, ((6, 2, 2, 5, 1, 4, 1, 5, 2, 4), [[[2, 0, 9, 5, 7, 3, 1, 8, 4, 6], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]]])) (1220000, ((6, 1, 1, 4, 4, 3, 1, 6, 2, 4), [[[5, 4, 0, 2, 8, 7, 6, 3, 1, 9], [0, 2, 5, 7, 3, 1, 6, 9, 8, 4]]])) (1230000, ((6, 1, 1, 2, 5, 1, 4, 6, 2, 4), [[[6, 2, 0, 9, 7, 3, 1, 8, 5, 4], [0, 4, 3, 1, 5, 9, 6, 7, 8, 2]]])) (1240000, ((6, 2, 6, 2, 3, 3, 2, 1, 3, 4), [[[9, 2, 7, 5, 4, 3, 6, 8, 1, 0], [0, 2, 4, 6, 7, 8, 5, 3, 9, 1]], [[0, 9, 2, 7, 5, 4, 3, 6, 8, 1], [0, 2, 4, 6, 7, 8, 5, 3, 9, 1]]])) (1250000, ((6, 2, 2, 5, 1, 4, 4, 1, 3, 4), [[[1, 6, 4, 8, 0, 9, 7, 2, 3, 5], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]]])) (1260000, ((6, 2, 3, 1, 6, 2, 2, 3, 3, 4), [[[8, 4, 7, 2, 1, 9, 5, 6, 3, 0], [0, 4, 9, 7, 5, 8, 6, 2, 1, 3]], [[9, 5, 6, 3, 0, 8, 4, 7, 2, 1], [0, 4, 9, 7, 5, 8, 6, 2, 1, 3]]])) (1270000, ((6, 1, 1, 6, 2, 2, 2, 5, 3, 4), [[[3, 6, 4, 8, 2, 0, 1, 9, 7, 5], [0, 1, 3, 8, 7, 6, 5, 4, 9, 2]], [[5, 3, 6, 4, 8, 2, 0, 1, 9, 7], [0, 1, 3, 8, 7, 6, 5, 4, 9, 2]]])) (1280000, ((6, 2, 6, 2, 1, 5, 1, 1, 4, 4), [[[7, 3, 1, 9, 4, 0, 2, 8, 6, 5], [0, 2, 5, 3, 1, 6, 9, 7, 8, 4]], [[4, 0, 2, 8, 6, 5, 7, 3, 1, 9], [0, 2, 5, 3, 1, 6, 9, 7, 8, 4]]])) (1290000, ((6, 4, 2, 1, 1, 4, 5, 1, 4, 4), [[[8, 0, 9, 7, 1, 4, 6, 3, 2, 5], [0, 1, 5, 4, 9, 3, 8, 7, 6, 2]]])) (1300000, ((6, 6, 1, 1, 5, 1, 2, 2, 4, 4), [[[4, 8, 5, 2, 9, 6, 0, 3, 7, 1], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]], [[0, 3, 7, 1, 4, 8, 5, 2, 9, 6], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]], [[2, 9, 6, 0, 3, 7, 1, 4, 8, 5], [0, 3, 9, 8, 7, 1, 4, 5, 2, 6]]])) (1310000, ((6, 3, 1, 4, 2, 3, 3, 2, 4, 4), [[[7, 2, 3, 5, 6, 4, 8, 1, 0, 9], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]])) (1320000, ((6, 1, 3, 4, 1, 1, 6, 2, 4, 4), [[[6, 4, 7, 8, 3, 0, 2, 1, 9, 5], [0, 4, 8, 9, 6, 2, 1, 5, 7, 3]], [[0, 2, 1, 9, 5, 6, 4, 7, 8, 3], [0, 4, 8, 9, 6, 2, 1, 5, 7, 3]]])) (1330000, ((6, 1, 1, 2, 6, 2, 3, 3, 4, 4), [[[6, 4, 1, 2, 5, 8, 0, 9, 7, 3], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]], [[8, 0, 9, 7, 3, 6, 4, 1, 2, 5], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]]])) (1340000, ((6, 6, 1, 1, 1, 3, 2, 4, 4, 4), [[[3, 4, 6, 5, 8, 1, 0, 9, 7, 2], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]])) (1350000, ((6, 6, 2, 1, 1, 2, 1, 5, 4, 4), [[[0, 2, 1, 9, 8, 4, 6, 7, 5, 3], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]], [[3, 0, 2, 1, 9, 8, 4, 6, 7, 5], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]]])) (1360000, ((6, 1, 1, 4, 1, 1, 4, 6, 4, 4), [[[0, 9, 7, 2, 6, 4, 3, 5, 8, 1], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]]])) (1370000, ((6, 2, 4, 3, 1, 2, 4, 1, 5, 4), [[[1, 9, 8, 4, 6, 7, 5, 3, 0, 2], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]]])) (1380000, ((6, 4, 6, 2, 1, 1, 1, 1, 6, 4), [[[7, 4, 8, 1, 0, 9, 2, 3, 6, 5], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]])) (1390000, ((6, 2, 6, 3, 1, 1, 1, 2, 6, 4), [[[5, 7, 8, 3, 1, 4, 0, 2, 9, 6], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]])) (1400000, ((6, 1, 1, 2, 3, 5, 2, 2, 6, 4), [[[2, 1, 6, 4, 8, 0, 9, 7, 5, 3], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]]])) (1410000, ((6, 2, 2, 2, 1, 5, 1, 3, 6, 4), [[[4, 7, 8, 1, 0, 9, 2, 3, 6, 5], [0, 2, 5, 7, 6, 4, 9, 8, 3, 1]]])) (1420000, ((6, 2, 2, 3, 1, 1, 1, 6, 6, 4), [[[5, 4, 6, 7, 3, 0, 9, 2, 1, 8], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]])) (1430000, ((6, 6, 6, 2, 1, 1, 2, 2, 1, 5), [[[9, 7, 3, 1, 8, 5, 4, 6, 2, 0], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]])) (1440000, ((6, 2, 4, 2, 4, 3, 3, 2, 1, 5), [[[8, 6, 5, 3, 1, 9, 4, 7, 2, 0], [0, 5, 9, 8, 7, 3, 1, 4, 6, 2]]])) (1450000, ((6, 4, 6, 2, 2, 2, 1, 3, 1, 5), [[[4, 8, 2, 0, 1, 9, 7, 5, 3, 6], [0, 1, 3, 8, 7, 6, 5, 4, 9, 2]]])) (1460000, ((6, 2, 3, 1, 2, 6, 2, 4, 1, 5), [[[3, 5, 4, 8, 1, 0, 9, 2, 7, 6], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]])) (1470000, ((6, 1, 3, 2, 2, 4, 2, 6, 1, 5), [[[8, 3, 1, 4, 0, 2, 9, 6, 5, 7], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]], [[5, 7, 8, 3, 1, 4, 0, 2, 9, 6], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]])) (1480000, ((6, 4, 2, 4, 1, 3, 2, 2, 3, 5), [[[3, 7, 6, 5, 4, 8, 1, 0, 9, 2], [0, 2, 6, 8, 7, 5, 9, 4, 3, 1]]])) (1490000, ((6, 2, 2, 6, 1, 1, 2, 4, 3, 5), [[[9, 2, 7, 6, 3, 5, 4, 8, 1, 0], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]])) (1500000, ((6, 1, 1, 2, 6, 2, 2, 2, 5, 5), [[[3, 0, 9, 4, 6, 2, 1, 8, 5, 7], [0, 4, 8, 2, 1, 5, 9, 7, 6, 3]]])) (1510000, ((6, 3, 1, 6, 4, 2, 2, 1, 1, 6), [[[5, 6, 4, 7, 8, 3, 0, 2, 1, 9], [0, 4, 8, 9, 6, 2, 1, 5, 7, 3]]])) (1520000, ((6, 3, 1, 4, 4, 2, 4, 1, 1, 6), [[[1, 5, 0, 6, 7, 8, 9, 3, 2, 4], [0, 8, 4, 1, 7, 3, 2, 6, 9, 5]], [[2, 4, 1, 5, 0, 6, 7, 8, 9, 3], [0, 8, 4, 1, 7, 3, 2, 6, 9, 5]]])) (1530000, ((6, 6, 3, 1, 2, 2, 2, 3, 1, 6), [[[9, 2, 7, 6, 3, 5, 4, 8, 1, 0], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]], [[5, 4, 8, 1, 0, 9, 2, 7, 6, 3], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]])) (1540000, ((6, 2, 2, 2, 4, 3, 1, 5, 1, 6), [[[6, 4, 8, 2, 0, 1, 9, 7, 5, 3], [0, 1, 3, 8, 7, 6, 5, 4, 9, 2]]])) (1550000, ((6, 2, 3, 5, 2, 4, 1, 1, 2, 6), [[[5, 7, 2, 0, 9, 6, 3, 1, 8, 4], [0, 8, 6, 7, 9, 5, 3, 1, 4, 2]]])) (1560000, ((6, 4, 2, 3, 1, 2, 5, 1, 2, 6), [[[6, 7, 3, 0, 9, 2, 1, 8, 5, 4], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]], [[3, 0, 9, 2, 1, 8, 5, 4, 6, 7], [0, 4, 9, 7, 8, 2, 1, 5, 6, 3]]])) (1570000, ((6, 6, 3, 3, 1, 1, 2, 2, 2, 6), [[[3, 1, 8, 5, 7, 6, 4, 0, 2, 9], [0, 2, 6, 8, 7, 3, 1, 5, 9, 4]], [[1, 8, 5, 7, 6, 4, 0, 2, 9, 3], [0, 2, 6, 8, 7, 3, 1, 5, 9, 4]]])) (1580000, ((6, 2, 1, 5, 4, 1, 3, 2, 2, 6), [[[7, 4, 0, 3, 2, 8, 5, 1, 9, 6], [0, 7, 5, 1, 6, 3, 2, 9, 8, 4]]])) (1590000, ((6, 2, 1, 1, 6, 1, 5, 2, 2, 6), [[[1, 6, 4, 8, 0, 9, 7, 3, 2, 5], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[7, 3, 2, 5, 1, 6, 4, 8, 0, 9], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[6, 4, 8, 0, 9, 7, 3, 2, 5, 1], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]]])) (1600000, ((6, 2, 2, 4, 3, 1, 3, 3, 2, 6), [[[4, 6, 8, 1, 0, 9, 7, 2, 3, 5], [0, 2, 4, 9, 8, 5, 6, 7, 3, 1]]])) (1610000, ((6, 1, 3, 4, 3, 1, 2, 4, 2, 6), [[[1, 0, 9, 7, 2, 3, 5, 6, 4, 8], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]])) (1620000, ((6, 4, 1, 1, 1, 1, 6, 4, 2, 6), [[[6, 3, 1, 9, 5, 7, 4, 0, 2, 8], [0, 2, 6, 9, 7, 3, 1, 5, 8, 4]]])) (1630000, ((6, 1, 1, 3, 1, 4, 2, 6, 2, 6), [[[4, 6, 5, 3, 7, 8, 1, 0, 9, 2], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]])) (1640000, ((6, 2, 4, 4, 2, 1, 3, 1, 3, 6), [[[7, 5, 6, 4, 0, 2, 9, 3, 1, 8], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]], [[5, 6, 4, 0, 2, 9, 3, 1, 8, 7], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]], [[3, 1, 8, 7, 5, 6, 4, 0, 2, 9], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]])) (1650000, ((6, 2, 4, 2, 2, 1, 1, 5, 3, 6), [[[5, 6, 2, 0, 9, 7, 3, 1, 8, 4], [0, 8, 9, 6, 7, 5, 3, 1, 4, 2]]])) (1660000, ((6, 2, 1, 1, 4, 4, 3, 1, 4, 6), [[[2, 0, 9, 7, 3, 1, 8, 5, 4, 6], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]])) (1670000, ((6, 2, 3, 1, 3, 3, 2, 2, 4, 6), [[[6, 7, 5, 1, 2, 9, 4, 0, 3, 8], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]], [[9, 4, 0, 3, 8, 6, 7, 5, 1, 2], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]], [[2, 9, 4, 0, 3, 8, 6, 7, 5, 1], [0, 3, 6, 9, 5, 1, 2, 7, 8, 4]]])) (1680000, ((6, 1, 3, 4, 2, 2, 1, 3, 4, 6), [[[5, 1, 6, 3, 2, 4, 8, 0, 9, 7], [0, 1, 4, 9, 3, 7, 8, 5, 6, 2]], [[4, 8, 0, 9, 7, 5, 1, 6, 3, 2], [0, 1, 4, 9, 3, 7, 8, 5, 6, 2]]])) (1690000, ((6, 2, 1, 1, 1, 1, 6, 4, 4, 6), [[[2, 1, 8, 5, 7, 3, 0, 9, 4, 6], [0, 4, 8, 2, 1, 5, 9, 7, 6, 3]]])) (1700000, ((6, 2, 2, 1, 1, 2, 4, 3, 5, 6), [[[5, 8, 0, 9, 7, 4, 6, 1, 3, 2], [0, 1, 5, 4, 9, 3, 8, 6, 7, 2]], [[2, 5, 8, 0, 9, 7, 4, 6, 1, 3], [0, 1, 5, 4, 9, 3, 8, 6, 7, 2]], [[8, 0, 9, 7, 4, 6, 1, 3, 2, 5], [0, 1, 5, 4, 9, 3, 8, 6, 7, 2]]])) (1710000, ((6, 3, 1, 2, 2, 1, 3, 2, 6, 6), [[[2, 0, 1, 9, 7, 5, 3, 6, 4, 8], [0, 1, 3, 8, 7, 6, 5, 4, 9, 2]], [[8, 2, 0, 1, 9, 7, 5, 3, 6, 4], [0, 1, 3, 8, 7, 6, 5, 4, 9, 2]]])) ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_6_visible_9 written ST5_data//H_3_1t5//1_branch_point//align_list//H_3_1t3_align_list_7 read 728640 configurations to search (10000, ((7, 1, 6, 4, 2, 6, 2, 2, 1, 1), [[[0, 8, 5, 7, 3, 1, 9, 4, 6, 2], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]]])) (20000, ((7, 2, 2, 4, 4, 2, 6, 3, 1, 1), [[[1, 0, 9, 7, 2, 3, 5, 4, 6, 8], [0, 2, 4, 9, 8, 7, 5, 6, 3, 1]]])) (30000, ((7, 1, 4, 2, 4, 4, 2, 6, 1, 1), [[[6, 0, 3, 7, 5, 1, 8, 4, 2, 9], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]], [[0, 3, 7, 5, 1, 8, 4, 2, 9, 6], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]], [[4, 2, 9, 6, 0, 3, 7, 5, 1, 8], [0, 3, 9, 5, 1, 4, 2, 8, 7, 6]]])) (40000, ((7, 4, 4, 2, 2, 4, 5, 1, 2, 1), [[[3, 1, 8, 4, 5, 6, 2, 0, 9, 7], [0, 8, 9, 6, 7, 5, 3, 1, 4, 2]]])) (50000, ((7, 2, 6, 1, 7, 2, 2, 2, 2, 1), [[[8, 0, 9, 7, 5, 3, 2, 1, 6, 4], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]], [[7, 5, 3, 2, 1, 6, 4, 8, 0, 9], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]]])) (60000, ((7, 4, 2, 6, 2, 3, 3, 2, 2, 1), [[[0, 9, 6, 2, 1, 8, 5, 4, 7, 3], [0, 8, 2, 1, 4, 9, 7, 6, 5, 3]]])) (70000, ((7, 2, 6, 1, 1, 6, 4, 2, 2, 1), [[[7, 3, 5, 2, 1, 6, 4, 8, 0, 9], [0, 1, 7, 6, 8, 5, 4, 9, 3, 2]]])) (80000, ((7, 2, 2, 2, 6, 1, 7, 2, 2, 1), [[[6, 5, 8, 1, 0, 9, 7, 2, 3, 4], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]]])) (90000, ((7, 5, 5, 2, 2, 2, 2, 4, 2, 1), [[[9, 3, 1, 8, 5, 4, 6, 7, 2, 0], [0, 4, 3, 1, 5, 6, 9, 7, 8, 2]]])) (100000, ((7, 2, 2, 4, 6, 1, 3, 4, 2, 1), [[[6, 3, 1, 9, 5, 7, 4, 0, 2, 8], [0, 2, 6, 9, 7, 3, 1, 5, 8, 4]]])) (110000, ((7, 2, 4, 1, 1, 4, 6, 4, 2, 1), [[[7, 2, 3, 5, 1, 6, 4, 8, 0, 9], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]]])) (120000, ((7, 6, 1, 1, 2, 4, 2, 6, 2, 1), [[[8, 0, 9, 7, 3, 2, 1, 6, 5, 4], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]]])) (130000, ((7, 6, 2, 2, 4, 4, 2, 1, 3, 1), [[[1, 4, 0, 2, 9, 6, 5, 7, 8, 3], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]])) (140000, ((7, 6, 2, 2, 2, 4, 2, 3, 3, 1), [[[1, 0, 9, 2, 7, 6, 3, 5, 4, 8], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]])) (150000, ((7, 4, 2, 4, 2, 6, 1, 1, 4, 1), [[[7, 8, 1, 0, 9, 2, 3, 6, 5, 4], [0, 2, 6, 7, 5, 9, 4, 8, 3, 1]], [[5, 4, 7, 8, 1, 0, 9, 2, 3, 6], [0, 2, 6, 7, 5, 9, 4, 8, 3, 1]]])) (160000, ((7, 2, 2, 5, 5, 2, 2, 2, 4, 1), [[[5, 7, 4, 0, 2, 8, 6, 3, 1, 9], [0, 2, 6, 9, 7, 3, 1, 5, 8, 4]]])) (170000, ((7, 6, 2, 1, 3, 2, 4, 2, 4, 1), [[[5, 3, 0, 2, 1, 9, 8, 4, 6, 7], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]]])) (180000, ((7, 4, 2, 2, 2, 6, 1, 3, 4, 1), [[[6, 5, 1, 9, 4, 0, 3, 2, 8, 7], [0, 9, 6, 3, 2, 7, 5, 1, 8, 4]], [[8, 7, 6, 5, 1, 9, 4, 0, 3, 2], [0, 9, 6, 3, 2, 7, 5, 1, 8, 4]]])) (190000, ((7, 2, 4, 2, 2, 3, 3, 4, 4, 1), [[[9, 3, 1, 8, 6, 5, 7, 4, 0, 2], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]])) (200000, ((7, 4, 1, 1, 2, 2, 4, 6, 4, 1), [[[0, 8, 5, 7, 3, 1, 9, 4, 6, 2], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]], [[1, 9, 4, 6, 2, 0, 8, 5, 7, 3], [0, 5, 9, 8, 6, 3, 1, 4, 7, 2]]])) (210000, ((7, 1, 2, 4, 2, 2, 2, 6, 5, 1), [[[4, 5, 7, 2, 0, 9, 6, 3, 1, 8], [0, 8, 6, 7, 9, 5, 3, 1, 4, 2]]])) (220000, ((7, 2, 2, 3, 3, 4, 2, 2, 6, 1), [[[7, 3, 2, 5, 1, 6, 4, 8, 0, 9], [0, 1, 4, 9, 3, 8, 5, 7, 6, 2]]])) (230000, ((7, 2, 3, 1, 4, 2, 2, 4, 6, 1), [[[5, 8, 0, 9, 7, 3, 6, 4, 1, 2], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]], [[6, 4, 1, 2, 5, 8, 0, 9, 7, 3], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]]])) (240000, ((7, 5, 4, 2, 4, 4, 2, 1, 1, 2), [[[5, 3, 1, 9, 4, 7, 2, 0, 8, 6], [0, 5, 9, 8, 7, 3, 1, 4, 6, 2]]])) (250000, ((7, 1, 4, 2, 4, 6, 2, 3, 1, 2), [[[3, 6, 8, 1, 0, 9, 2, 7, 5, 4], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]])) (260000, ((7, 5, 4, 2, 2, 6, 1, 1, 2, 2), [[[3, 1, 8, 5, 4, 6, 2, 0, 9, 7], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]])) (270000, ((7, 1, 5, 7, 2, 2, 2, 2, 2, 2), [[[3, 1, 8, 5, 4, 6, 7, 2, 0, 9], [0, 4, 3, 1, 5, 6, 9, 7, 8, 2]]])) (280000, ((7, 3, 3, 1, 4, 6, 2, 2, 2, 2), [[[1, 9, 7, 8, 4, 3, 5, 2, 6, 0], [0, 1, 8, 5, 2, 7, 4, 3, 9, 6]]])) (290000, ((7, 3, 2, 1, 5, 4, 4, 2, 2, 2), [[[3, 2, 0, 1, 9, 8, 6, 5, 4, 7], [0, 1, 3, 8, 5, 7, 6, 4, 9, 2]]])) (300000, ((7, 5, 2, 2, 6, 2, 1, 3, 2, 2), [[[5, 3, 6, 4, 8, 2, 0, 1, 9, 7], [0, 1, 3, 8, 7, 6, 5, 4, 9, 2]], [[7, 5, 3, 6, 4, 8, 2, 0, 1, 9], [0, 1, 3, 8, 7, 6, 5, 4, 9, 2]]])) (310000, ((7, 1, 1, 5, 6, 2, 2, 4, 2, 2), [[[2, 3, 7, 6, 5, 4, 8, 1, 0, 9], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]])) (320000, ((7, 1, 6, 1, 1, 4, 4, 4, 2, 2), [[[7, 3, 0, 9, 2, 1, 8, 4, 6, 5], [0, 5, 8, 9, 7, 6, 2, 1, 4, 3]]])) (330000, ((7, 1, 7, 1, 2, 2, 2, 6, 2, 2), [[[2, 7, 6, 3, 5, 4, 8, 1, 0, 9], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]])) (340000, ((7, 5, 2, 2, 6, 2, 2, 1, 3, 2), [[[6, 3, 4, 5, 8, 2, 0, 1, 9, 7], [0, 1, 3, 5, 7, 8, 6, 4, 9, 2]], [[7, 6, 3, 4, 5, 8, 2, 0, 1, 9], [0, 1, 3, 5, 7, 8, 6, 4, 9, 2]]])) (350000, ((7, 1, 2, 2, 2, 2, 4, 7, 3, 2), [[[4, 6, 5, 7, 3, 0, 9, 2, 1, 8], [0, 5, 8, 9, 7, 6, 2, 1, 4, 3]]])) (360000, ((7, 3, 1, 5, 4, 2, 2, 2, 4, 2), [[[6, 5, 3, 1, 9, 4, 7, 2, 0, 8], [0, 5, 9, 8, 7, 3, 1, 4, 6, 2]]])) (370000, ((7, 3, 1, 1, 6, 2, 4, 2, 4, 2), [[[2, 3, 6, 5, 4, 7, 8, 1, 0, 9], [0, 2, 5, 7, 6, 4, 9, 8, 3, 1]]])) (380000, ((7, 1, 2, 4, 5, 1, 2, 4, 4, 2), [[[8, 4, 5, 6, 2, 0, 9, 7, 3, 1], [0, 8, 9, 6, 7, 5, 3, 1, 4, 2]]])) (390000, ((7, 3, 2, 2, 4, 1, 1, 6, 4, 2), [[[3, 6, 4, 1, 2, 5, 8, 0, 9, 7], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]], [[5, 8, 0, 9, 7, 3, 6, 4, 1, 2], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]]])) (400000, ((7, 1, 2, 6, 4, 2, 1, 1, 6, 2), [[[4, 8, 1, 0, 9, 7, 2, 3, 5, 6], [0, 2, 6, 8, 5, 9, 4, 7, 3, 1]], [[3, 5, 6, 4, 8, 1, 0, 9, 7, 2], [0, 2, 6, 8, 5, 9, 4, 7, 3, 1]]])) (410000, ((7, 1, 1, 5, 2, 2, 4, 2, 6, 2), [[[7, 2, 3, 5, 4, 6, 8, 1, 0, 9], [0, 2, 4, 9, 8, 7, 5, 6, 3, 1]]])) (420000, ((7, 1, 2, 2, 2, 6, 2, 1, 7, 2), [[[8, 1, 0, 9, 2, 3, 7, 6, 5, 4], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]])) (430000, ((7, 1, 4, 4, 2, 4, 4, 2, 1, 3), [[[4, 0, 2, 9, 6, 5, 7, 8, 3, 1], [0, 2, 6, 7, 3, 1, 5, 8, 9, 4]]])) (440000, ((7, 6, 4, 4, 2, 2, 1, 1, 2, 3), [[[4, 6, 5, 3, 7, 8, 1, 0, 9, 2], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]], [[2, 4, 6, 5, 3, 7, 8, 1, 0, 9], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]])) (450000, ((7, 5, 3, 4, 2, 2, 2, 2, 2, 3), [[[9, 5, 7, 3, 1, 8, 4, 6, 2, 0], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]], [[8, 4, 6, 2, 0, 9, 5, 7, 3, 1], [0, 8, 7, 9, 6, 3, 1, 4, 5, 2]]])) (460000, ((7, 4, 2, 2, 4, 3, 3, 2, 2, 3), [[[8, 0, 9, 7, 1, 4, 6, 3, 2, 5], [0, 1, 5, 4, 9, 3, 8, 7, 6, 2]], [[2, 5, 8, 0, 9, 7, 1, 4, 6, 3], [0, 1, 5, 4, 9, 3, 8, 7, 6, 2]]])) (470000, ((7, 2, 1, 3, 2, 4, 6, 2, 2, 3), [[[3, 2, 5, 1, 6, 4, 8, 0, 9, 7], [0, 1, 4, 9, 3, 5, 7, 6, 8, 2]], [[8, 0, 9, 7, 3, 2, 5, 1, 6, 4], [0, 1, 4, 9, 3, 5, 7, 6, 8, 2]]])) (480000, ((7, 4, 1, 3, 2, 4, 2, 4, 2, 3), [[[3, 4, 2, 1, 6, 5, 8, 0, 9, 7], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]], [[4, 2, 1, 6, 5, 8, 0, 9, 7, 3], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]]])) (490000, ((7, 1, 3, 4, 2, 2, 2, 6, 2, 3), [[[0, 1, 9, 8, 6, 5, 4, 7, 3, 2], [0, 1, 3, 8, 5, 7, 6, 4, 9, 2]], [[1, 9, 8, 6, 5, 4, 7, 3, 2, 0], [0, 1, 3, 8, 5, 7, 6, 4, 9, 2]]])) (500000, ((7, 2, 2, 2, 6, 2, 2, 3, 3, 3), [[[2, 6, 0, 3, 9, 7, 1, 4, 8, 5], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]], [[4, 8, 5, 2, 6, 0, 3, 9, 7, 1], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]], [[1, 4, 8, 5, 2, 6, 0, 3, 9, 7], [0, 3, 5, 2, 8, 7, 1, 4, 9, 6]]])) (510000, ((7, 1, 5, 2, 4, 2, 2, 2, 4, 3), [[[9, 7, 2, 3, 4, 6, 5, 8, 1, 0], [0, 2, 5, 4, 9, 8, 7, 6, 3, 1]]])) (520000, ((7, 2, 2, 2, 2, 2, 5, 3, 4, 3), [[[2, 8, 5, 1, 9, 6, 7, 4, 0, 3], [0, 7, 5, 1, 6, 3, 2, 9, 8, 4]]])) (530000, ((7, 1, 4, 2, 2, 2, 2, 4, 5, 3), [[[0, 9, 2, 7, 6, 3, 5, 4, 8, 1], [0, 2, 5, 6, 4, 9, 8, 7, 3, 1]]])) (540000, ((7, 7, 2, 4, 2, 2, 2, 1, 1, 4), [[[2, 1, 9, 5, 6, 4, 7, 8, 3, 0], [0, 4, 8, 9, 6, 2, 1, 5, 7, 3]], [[4, 7, 8, 3, 0, 2, 1, 9, 5, 6], [0, 4, 8, 9, 6, 2, 1, 5, 7, 3]]])) (550000, ((7, 1, 2, 4, 2, 4, 2, 5, 1, 4), [[[8, 1, 0, 9, 2, 3, 5, 4, 6, 7], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]], [[6, 7, 8, 1, 0, 9, 2, 3, 5, 4], [0, 2, 5, 7, 4, 9, 8, 6, 3, 1]]])) (560000, ((7, 5, 4, 1, 3, 2, 2, 2, 2, 4), [[[3, 5, 1, 6, 4, 8, 0, 9, 7, 2], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]], [[5, 1, 6, 4, 8, 0, 9, 7, 2, 3], [0, 1, 4, 9, 3, 7, 6, 8, 5, 2]]])) (570000, ((7, 5, 2, 1, 3, 2, 4, 2, 2, 4), [[[4, 2, 1, 6, 5, 8, 0, 9, 7, 3], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]], [[2, 1, 6, 5, 8, 0, 9, 7, 3, 4], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]]])) (580000, ((7, 1, 2, 4, 2, 5, 1, 4, 2, 4), [[[3, 6, 4, 1, 2, 5, 8, 0, 9, 7], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]], [[5, 8, 0, 9, 7, 3, 6, 4, 1, 2], [0, 1, 5, 7, 6, 8, 4, 9, 3, 2]]])) (590000, ((7, 3, 2, 2, 4, 2, 1, 5, 2, 4), [[[4, 8, 1, 0, 9, 7, 2, 3, 5, 6], [0, 2, 6, 8, 5, 9, 4, 7, 3, 1]], [[3, 5, 6, 4, 8, 1, 0, 9, 7, 2], [0, 2, 6, 8, 5, 9, 4, 7, 3, 1]]])) (600000, ((7, 1, 2, 2, 4, 2, 2, 5, 3, 4), [[[5, 6, 4, 8, 1, 0, 9, 7, 2, 3], [0, 2, 5, 4, 9, 8, 6, 7, 3, 1]]])) (610000, ((7, 3, 2, 2, 3, 1, 4, 2, 4, 4), [[[9, 7, 2, 3, 4, 6, 5, 8, 1, 0], [0, 2, 5, 9, 4, 8, 7, 6, 3, 1]]])) (620000, ((7, 5, 2, 2, 2, 2, 2, 1, 5, 4), [[[5, 4, 3, 6, 8, 1, 0, 9, 2, 7], [0, 2, 4, 6, 7, 8, 5, 3, 9, 1]], [[7, 5, 4, 3, 6, 8, 1, 0, 9, 2], [0, 2, 4, 6, 7, 8, 5, 3, 9, 1]]])) (630000, ((7, 2, 2, 4, 6, 2, 2, 1, 1, 5), [[[7, 5, 0, 3, 9, 6, 4, 1, 2, 8], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]], [[6, 4, 1, 2, 8, 7, 5, 0, 3, 9], [0, 3, 6, 8, 4, 1, 2, 7, 9, 5]]])) (640000, ((7, 6, 2, 2, 2, 2, 3, 1, 2, 5), [[[8, 0, 9, 7, 6, 1, 4, 5, 3, 2], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]], [[6, 1, 4, 5, 3, 2, 8, 0, 9, 7], [0, 1, 5, 8, 7, 4, 9, 3, 6, 2]]])) (650000, ((7, 2, 4, 4, 1, 1, 4, 2, 2, 5), [[[6, 2, 1, 8, 5, 7, 3, 0, 9, 4], [0, 4, 8, 7, 2, 1, 5, 9, 6, 3]], [[7, 3, 0, 9, 4, 6, 2, 1, 8, 5], [0, 4, 8, 7, 2, 1, 5, 9, 6, 3]]])) (660000, ((7, 1, 1, 4, 2, 2, 4, 4, 2, 5), [[[7, 6, 5, 1, 9, 4, 0, 3, 2, 8], [0, 9, 6, 3, 2, 7, 5, 1, 8, 4]]])) (670000, ((7, 2, 4, 1, 1, 4, 2, 2, 4, 5), [[[5, 3, 0, 2, 1, 9, 8, 4, 6, 7], [0, 5, 8, 6, 2, 1, 4, 7, 9, 3]]])) (680000, ((7, 3, 2, 2, 4, 2, 4, 1, 1, 6), [[[9, 7, 3, 4, 2, 1, 6, 5, 8, 0], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]], [[7, 3, 4, 2, 1, 6, 5, 8, 0, 9], [0, 1, 5, 7, 4, 9, 3, 6, 8, 2]]])) (690000, ((7, 3, 2, 3, 1, 4, 2, 2, 2, 6), [[[1, 0, 9, 7, 2, 3, 5, 4, 6, 8], [0, 2, 6, 5, 9, 4, 8, 7, 3, 1]]])) (700000, ((7, 1, 2, 2, 3, 1, 4, 4, 2, 6), [[[1, 6, 2, 4, 8, 0, 9, 7, 3, 5], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[3, 5, 1, 6, 2, 4, 8, 0, 9, 7], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]], [[6, 2, 4, 8, 0, 9, 7, 3, 5, 1], [0, 1, 4, 9, 3, 6, 8, 5, 7, 2]]])) (710000, ((7, 1, 2, 2, 3, 1, 2, 4, 4, 6), [[[8, 1, 0, 9, 7, 6, 2, 3, 4, 5], [0, 2, 5, 7, 8, 6, 4, 9, 3, 1]], [[5, 8, 1, 0, 9, 7, 6, 2, 3, 4], [0, 2, 5, 7, 8, 6, 4, 9, 3, 1]]])) (720000, ((7, 2, 4, 1, 3, 2, 2, 2, 2, 7), [[[5, 4, 6, 2, 0, 9, 7, 3, 1, 8], [0, 8, 7, 5, 6, 3, 1, 4, 9, 2]]])) ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_7_visible_9 written
#At this point, none of the files above need to be loaded for this to run.
#Once the files above are generated, the file sizes are small enough that these can be loaded on the fly.
#This loads all of the visible_align_list functions needed for nearly every case
%run ./ST5_fcns/combine_align_list_visible_fcns.ipynb
if True:
combine_align_list_visible_write_file(s_range = range(4,8),
s_filename_root = 'align_list_visible//H_3_1t3_align_list_',
t_range = [9,11],
t_filename_root = 'align_list_visible//H1_1_align_list_',
d_opt = 16,
root_dir = 'ST5_data//H_3_1t5//1_branch_point//')
ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_9_visible_4 read ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_4_visible_9 read empty list ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_11_visible_4 read ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_4_visible_11 read empty list ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_9_visible_5 read ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_5_visible_9 read empty list ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_11_visible_5 read ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_5_visible_11 read empty list ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_9_visible_6 read ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_6_visible_9 read empty list empty list ST5_data//H_3_1t5//1_branch_point//align_list_visible//H1_1_align_list_9_visible_7 read ST5_data//H_3_1t5//1_branch_point//align_list_visible//H_3_1t3_align_list_7_visible_9 read empty list empty list admissible_list written with 0 elements